Ḳitsur Ḥovat ha-levavot me-Rabenu Asher mi-Lunil -- Ḳitsur Ḥovat ha-levavot mi-sefer Tsedah la-derekh -- Ḳitsur Ḥovat ha-levavot ʻAśarah hilulim -- Ḳitsur Ḥovat ha-levavot Margaliyot ṭovot.

Das Verhältniss des Thomas von Aquino zum Judenthum und zur jüdischen Litteratur.--Eine bisher unbekannte dem Bachja ibn Pakuda zugeeignete Schrift.--Die philosophischen und ethischen Anschauungen in Abraham bar Chijja's Hegjon ha-Nefesch.--Ueber Abraham bar Chijja's "Buch der Enthüllung".--Die Familie Schemtob in ihren Beziehungen zur Philosophie.--Die Stellung des Simon ben Zemach Duran in der Geschichte der jüdischen Religionsphilosophie.--Die philosophischen Lehren des Isaak ben Salomon Israeli.

The paper proposes a semantic value for the logical constants (connectives and quantifiers) within the framework of proof-theoretic semantics, basic meaning on the introduction rules of a meaning conferring natural deduction proof system. The semantic value is defined based on Fregecontributions” to sentential meanings as determined by the function-argument structure as induced by a type-logical grammar. In doing so, the paper proposes a novel proof-theoretic interpretation of the semantic types, traditionally interpreted in Henkin models. The compositionality of the resulting attribution (...) of semantic values is discussed. Elsewhere, the same method was used for defining proof-theoretic meaning of subsentential phrases in a fragment of natural language. Doing the same for (the simpler and clearer case of) logic sheds more light on the proposal. (shrink)

Scientific endeavor is the pursuit of knowledge with the aim of advancing the welfare of all human beings. This endeavor is built on the ideology of science; thus, society relies on the integrity of the practice of science and of scientists themselves. The responsible conduct of research is the essence of good science; however, many of the pedagogical approaches used to instill integrity in science accentuate the negative rather than exemplify ideal professionalism. This paper makes an argument for the inculcation (...) of the appropriate conduct of research via a positive approach. We address the acclimation to the culture of science that supersedes diverse cultural backgrounds of students. We suggest techniques for the implementation of positive strategies and reinforce the benefit of approaching the teaching of ethical behavior as a competitive advantage. We highlight ways in which this approach can empower the individual scientist and the scientific community as a whole. Transmission of the culture of scientific professionalism formalizes the aims of an ideal scientific professional and encourages assimilation and identification as a member of the scientific profession. We purport that instilling scientific professionalism will spur responsible conduct of research. (shrink)

A classic work of Jewish philosophy and Mussar by the famed Safed Kabbalist. Hebrew text with facing, new, annotated translation.

1. Sefer Anshe ḳodesh -- 2. Sefer Zeraʻ ḳodesh.

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics we call (...) weak stratified. Finally, we show weak stratified semantics coincides exactly with the three-valued approach on stratifiable programs, though the three-valued version is generally applicable, and does not require stratification assumptions. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

This article studies kabbalistic interpretation of a ritual of unknown origin: the daily recitation of the manna episode (Exod 16:1–36). This episode foregrounds a major theme in the writings of R. Baḥya ben Asher ibn Halawa (c.1255–1340) and many other medieval kabbalists: the cyclical nature of sustaining existence. Baḥya’s interpretation builds on two primary sources: R. Jacob ben Sheshet Gerondi’s commentary on Ps 145 in his kabbalistic polemic Meshiv Devarim Nekhoḥim, and a hermeneutic tradition derived from Hasidic-Ashkenazi biblical exegesis. (...) The article also examines roughly analogous works that illuminate Baḥya’s hermeneutical outlook. (shrink)